Elaboration, Generalization, Triangulation, and Interpretation

Def . Description Interpretation in Plan Elaboration Dialogues

Interpretation and Generalization of Score Matching

Score matching is a recently developed parameter learning method that is particularly effective to complicated high dimensional density models with intractable partition functions. In this paper, we study two issues that have not been completely resolved for score matching. First, we provide a formal link between maximum likelihood and score matching. Our analysis shows that score matching find...

A Generalization of Takeuti-Gandy Interpretation

The goal of this paper is to present an explanation of the axiom of function extensionality in dependent type theory. This extends naturally to a model of type theory where a type is interpreted by a Kan semisimplicial set and we also present this generalization. The technique for explaining extensionality for simple type theory goes back to Takeuti [24] and Gandy [7]. The basic idea is already...

A generalization of the Takeuti-Gandy interpretation

We present an interpretation of a version of dependent type theory where a type is interpreted by a Kan semisimplicial set. This interprets only a weak notion of conversion similar to the one used in the first published version of Martin-Löf type theory. Each truncated version of this model can be carried out internally in dependent type theory, and we have formalized the first truncated level,...

Remarks on the quantum gravity interpretation of 4D dynamical triangulation

Here the path integral is over real metrics modulo coordinate transformations, G denotes a renormalized Newton constant and the · · · indicate higher derivative terms like R, etc. There may also be nonlocal terms related to the conformal anomaly [2]. The integral over μ produces the volume fixing delta function δ( ∫ dx √ g − V ). If this integral were done in the saddle point approximation, the...